Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

Publisher: Duke University Press

Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics.

Current Issue All Issues

Most Read Articles

Natural deduction rules for modal logics.

Thomas W. Satre. (1972) Open Access

Emil Artin, his life and his work.

Hans Zassenhaus. (1964) Open Access

On Interpretations of Arithmetic and Set Theory

Richard Kaye, et al. (2007) Open Access

Henkin's completeness proof: forty years later.

Hugues Leblanc, et al. (1991) Open Access

Conceptual role semantics.

Gilbert Harman. (1982) Open Access

Subscribe to Project Euclid

Receive Email Alerts